Basic research

Results: 2119



#Item
621

BRICS Basic Research in Computer Science BRICS RS-97-7 Hatcliff & Danvy: Thunks and the λ-Calculus

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1997-06-05 09:15:26
    622

    BRICS Basic Research in Computer Science BRICS RSNestmann & Pierce: Decoding Choice Encodings Decoding Choice Encodings

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2000-01-10 04:48:23
      623

      BRICS Basic Research in Computer Science BRICS RSNestmann et al.: Aliasing Models for Mobile Objects Aliasing Models for Mobile Objects

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2000-01-10 04:43:43
        624

        BRICS RSBRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2005-01-23 19:29:04
          625

          BRICS Basic Research in Computer Science BRICS RSMix Barrington et al.: Searching Constant Width Mazes Captures the AC 0 Hierarchy Searching Constant Width Mazes Captures

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1997-10-01 04:16:37
            626

            U.S. HOUSE OF REPRESENTATIVES COMMITTEE ON SCIENCE, SPACE, AND TECHNOLOGY SUBCOMMITTEE ON ENERGY HEARING CHARTER Providing the Tools for Scientific Discovery and Basic Energy Research: The Department of Energy Science Mi

            Add to Reading List

            Source URL: docs.house.gov

            Language: English - Date: 2013-10-29 12:29:32
              627

              BRICS Basic Research in Computer Science BRICS DS-00-1 T. T. Hildebrandt: Categorical Models for Concurrency: Independence, Fairness and Dataflow

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2001-09-10 06:11:30
                628

                BRICS Basic Research in Computer Science BRICS RSKl´ıma & Srba: Matching Modulo Associativity and Idempotency is NP-Complete Matching Modulo Associativity and

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2000-06-08 10:26:44
                  629

                  BRICS Basic Research in Computer Science BRICS RS-04-7 Kˇret´ınsk´y et al.: On the Expressive Power of Extended Process Rewrite Systems

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2004-04-22 04:41:27
                    630

                    BRICS RSBRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2005-10-28 13:53:27
                      UPDATE